#include <stdio.h>

char buf[] = "123456789\n";

int main(int argc, char* argv[]) 
{
	/*
	FILE* f1 = fopen("0f.txt","w");
	fputs(buf, f1);
	fpos_t pos;
	fgetpos(f1, &pos);
	fclose(f1);
	puts(buf);
	printf("%d\n",BUFSIZ);
	*/
	
	/*
	int i;
	char **ptr;
	extern char **environ;

	for (i = 0; i < argc; ++i) {
		printf("argv[%d]: %s\n", i, argv[i]);
	}

	for (ptr=environ; *ptr!=0; ptr++) {
		printf("%s\n", *ptr);
	}
	*/
	
	return 3; 
}
